$\forall$$g$:GrpSig. $\mid$$g$$\mid$ $\in$ Type